Please note that this newsitem has been archived, and may contain outdated information or links.
30 April 2014, Joint PIIA and A|C seminar, Fatemeh Seifan / Jeroen Goudsmit
Speaker: Fatemeh Seifan / Jeroen Goudsmit
Title: Uniform Interpolation for Coalgebraic Fixpoint Logic / Using Admissible Rules to Characterise Logics
Date: Wednesday 30 April 2014
Time: 15:00-17:00
Location: Room F1.15, Science Park 107, Amsterdam
For more information, see http://jeroengoudsmit.com/piia/ and http://www.illc.uva.nl/alg-coalg.
Please note that this newsitem has been archived, and may contain outdated information or links.